<html>
</body>
<h1>System Definition</h1>
<p>
A system definition is a list of process identifiers,
in the form of <tt>Sys</tt>.
<pre>

Sys ::= 'system' ID (',' ID)* ';'
</pre>

<p>where the <tt>ID</tt>'s must either appear on the left-hand-side
of a process assignment or be templates with zero
parameters.

<h2>Example:</h2>
<ul>
<li><tt>system P, Q;</tt> - a system consisting of the two processes
  <tt>P</tt> and <tt>Q</tt>.
</ul>

</body>
</html>
